Online version of the theorem of Thue

نویسندگان

  • Jaroslaw Grytczuk
  • Piotr Szafruga
  • Michal Zmarz
چکیده

A sequence S is nonrepetitive if no two adjacent blocks of S are the same. In 1906 Thue proved that there exist arbitrarily long nonrepetitive sequences over 3 symbols. We consider the online variant of this result in which a nonrepetitive sequence is constructed during a play between two players: Bob is choosing a position in a sequence and Alice is inserting a symbol on that position taken from a fixed set A. The goal of Bob is to force Alice to create a repetition, and if he succeeds, then the game stops. The goal of Alice is naturally to avoid that and thereby to construct a nonrepetitive sequence of any given length. We prove that Alice has a strategy to play arbitrarily long provided the size of the set A is at least 12. This is the online version of the Theorem of Thue. The proof is based on nonrepetitive colorings of outerplanar graphs. On the other hand, one can prove that even over 4 symbols Alice has no chance to play for too long. The minimum size of the set of symbols needed for the online version of Thue's theorem remains unknown.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

THUE ’ S THEOREM AND THE DIOPHANTINE EQUATION x 2 −

A constructive version of a theorem of Thue is used to provide representations of certain integers as x2 −Dy2, where D = 2, 3, 5, 6, 7.

متن کامل

AN LP-LQ-VERSION OF MORGAN’S THEOREM FOR THE GENERALIZED BESSEL TRANSFORM

n this article, we prove An Lp-Lq-version of Morgan’s theorem for the generalized Bessel transform.

متن کامل

Thue ’ s theorem and the diophantine equation x 2 − Dy 2 = ± N KEITH MATTHEWS

A constructive version of a theorem of Thue is used to provide representations of certain integers as x2 −Dy2, where D = 2, 3, 5, 6, 7.

متن کامل

THUE ’ S THEOREM AND THE DIOPHANTINE EQUATION x 2 − Dy

A constructive version of a theorem of Thue is used to provide representations of certain integers as x2 −Dy2, where D = 2, 3, 5, 6, 7.

متن کامل

An Lp-Lq-version Of Morgan's Theorem For The Generalized Fourier Transform Associated with a Dunkl Type Operator

The aim of this paper is to prove new quantitative uncertainty principle for the generalized Fourier transform connected with a Dunkl type operator on the real line. More precisely we prove An Lp-Lq-version of Morgan's theorem.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Inf. Process. Lett.

دوره 113  شماره 

صفحات  -

تاریخ انتشار 2013